Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Deepak Kapur »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Declan O'Sullivan < Deepak Kapur < Deepak L. Bhatt  Facettes :

List of bibliographic references indexed by Deepak Kapur

Number of relevant bibliographic references: 17.
Ident.Authors (with country if any)Title
000316 (2015-09-21) Serdar Erbatur [Allemagne] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Unification and Matching in Hierarchical Combinations of Syntactic Theories
000C18 (2014-04-05) Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]On Asymmetric Unification and the Combination Problem in Disjoint Theories
000C88 (2014-02) Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Asymmetric Unification and the Combination Problem in Disjoint Theories
000D80 (2014) Stéphane Demri [France] ; Deepak Kapur [États-Unis] ; Christoph Weidenbach [France]Automated Reasoning – Seventh International Joint Conference (IJCAR 2014)
001141 (2013-06-27) Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Hierarchical Combination of Unification Algorithms
001578 (2013) Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew M. Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Hierarchical Combination
006210 (2005) Deepak Kapur [États-Unis] ; Laurent Vigneron [France]Preface
006959 (2004) Deepak Kapur ; Laurent VigneronSpecial issue on First-Order Theorem Proving of the Journal of Automated Reasoning
006E87 (2004) Deepak Kapur ; Laurent Vigneron [France]Special issue on First-Order Theorem Proving of the Journal of Automated Reasoning
009E41 (2000) Deepak Kapur [États-Unis] ; G. Sivakumar [Inde]Proving Associative-Commutative Termination Using RPO-Compatible Orderings
00B231 (1998) M. R. K. Krishna Rao [Inde] ; Deepak Kapur [Inde] ; R. K. Shyamasundar [Inde]Transformational methodology for proving termination of logic programs
00BC82 (1997) Deepak Kapur [États-Unis] ; G. Sivakumar [Inde]A total, ground path ordering for proving termination of AC-rewrite systems
00C735 (1995) Deepak Kapur [États-Unis] ; G. Sivakumar [Inde]Maximal extensions of simplification orderings
00DE61 (1990) Deepak Kapur [États-Unis] ; G. Sivakumar [États-Unis] ; Hantao Zhang [États-Unis]A new method for proving termination of AC-rewrite systems
00E339 (1988) Deepak Kapur [États-Unis] ; Hantao Zhang [États-Unis]Proving equivalence of different axiomatizations of free groups
00E607 (1987) Deepak Kapur [États-Unis] ; Paliath Narendran [États-Unis] ; Hantao Zhang [États-Unis]On sufficient-completeness and related properties of term rewriting systems
00E830 (1986) Deepak Kapur [États-Unis] ; Paliath Narendran [États-Unis] ; Hantao Zhang [États-Unis]Proof by induction using test sets

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Deepak Kapur" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Deepak Kapur" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Deepak Kapur
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022